Data Types Are Under Full Control with Ada 9 X

Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear; and notice is given that copying is by permission of the Association for Computing Machinery. To copy otherwise , or to republish, requires a fee and/or specific permission. ABSTRACT. Ada 83 did not provide enough control on the creation, assignment, and destruction of objects of user-defined types. This lack of control restricted type composition and prevented the full exercise of information hiding for abstract data types. Ada 9X brings new mechanisms supporting the full control of abstract data types, powerful type composition, and more extensive information hiding. With better control of abstract data types, Ada code will be easier to write, understand, maintain, and reuse. Thus, applications written in Ada 9X will be safer.